- Inklusionsbeziehung
- (f)соотношение включения
Немецко-русский математический словарь. 2013.
Немецко-русский математический словарь. 2013.
Abhängigkeitsbeziehung (UML) — Eine Abhängigkeitsbeziehung (engl. Dependency) ist ein Modellelement in der Unified Modeling Language (UML), einer Modellierungssprache für Software und andere Systeme. Inhaltsverzeichnis 1 Beschreibung 2 Arten von Abhängigkeitsbeziehungen 2.1… … Deutsch Wikipedia
Dimensionsfunktion — Die hier vorgestellte Typklassifikation teilt die in der Mathematik untersuchten von Neumann Algebren in Klassen ein, die man Typ nennt. Diese auf Francis J. Murray und John von Neumann zurückgehende Klassifizierung beruht auf einer Analyse der… … Deutsch Wikipedia
Diskrete von-Neumann-Algebra — Die hier vorgestellte Typklassifikation teilt die in der Mathematik untersuchten von Neumann Algebren in Klassen ein, die man Typ nennt. Diese auf Francis J. Murray und John von Neumann zurückgehende Klassifizierung beruht auf einer Analyse der… … Deutsch Wikipedia
Echt unendliche von-Neumann-Algebra — Die hier vorgestellte Typklassifikation teilt die in der Mathematik untersuchten von Neumann Algebren in Klassen ein, die man Typ nennt. Diese auf Francis J. Murray und John von Neumann zurückgehende Klassifizierung beruht auf einer Analyse der… … Deutsch Wikipedia
Endliche von-Neumann-Algebra — Die hier vorgestellte Typklassifikation teilt die in der Mathematik untersuchten von Neumann Algebren in Klassen ein, die man Typ nennt. Diese auf Francis J. Murray und John von Neumann zurückgehende Klassifizierung beruht auf einer Analyse der… … Deutsch Wikipedia
Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… … Deutsch Wikipedia
Modelchecking — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfer — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfung — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfverfahren — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Rein unendliche von-Neumann-Algebra — Die hier vorgestellte Typklassifikation teilt die in der Mathematik untersuchten von Neumann Algebren in Klassen ein, die man Typ nennt. Diese auf Francis J. Murray und John von Neumann zurückgehende Klassifizierung beruht auf einer Analyse der… … Deutsch Wikipedia